@misc{zebra,
  title = {Zebra-FRR Latest Documentation},
  author = {FRR},
  year = {2023},
  url = {https://docs.frrouting.org/en/latest/zebra.html}
}
@misc{iperf3,
  title = {The Ultimate Speed Test Tool for TCP, UDP and SCTP},
  author = {iPerf},
  year = {2023},
  url = {https://iperf.fr/}
}
@misc{jgrapht,
title = {A Java Library of Graph Theory Data Structures and Algorithms},
author = {JGraphT},
year = {2023},
url = {https://jgrapht.org}
}
@misc{buildfire2023appstat,
  title = {Mobile App Download Statistics & Usage Statistics (2023)},
  author = {Buildfire},
  year = {2023},
  url = {https://buildfire.com/app-statistics/}
}
@misc{cern2023cern,
  title = {The European Organization for Nuclear Research},
  author = {CERN},
  year = {2023},
  url = {https://home.cern}
}
@misc{cloudlab2023cloudlab,
  title = {Flexible, Scientific Infrastructure for Research on the Future of Cloud Computing},
  author = {cloudlab},
  year = {2023},
  url = {https://www.cloudlab.us/}
}
@misc{andreyev2014introducing,
  title = {Introducing {{Data Center Fabric}}, the {{Next-generation Facebook Data Center Network}} - {{Engineering}} at {{Meta}}},
  author = {Andreyev, Alexey},
  year = {2014},
  url = {https://engineering.fb.com/2014/11/14/production-engineering/introducing-data-center-fabric-the-next-generation-facebook-data-center-network/},
  urldate = {2022-07-03}
}
@misc{cisco2023newcisco,
  title = {New Cisco 800G Innovations Help to Supercharge the Internet for the Future by Improving Networking Economics and Sustainability for Service Providers and Cloud Providers},
  author = {Cisco},
  year = {2023},
  url = {https://newsroom.cisco.com/c/r/newsroom/en/us/a/y2023/m03/new-cisco-800g-innovations-help-to-supercharge-the-internet-for-the-future-by-improving-networking-economics-and-sustainability-for-service-providers-and-cloud-providers.html},
  urldate = {2023-03-30}
}
@misc{meta2023openr,
  title = {OpenR: Distributed Platform for Building Autonomic Network Functions},
  author = {Meta},
  year = {2023},
  url = {https://github.com/facebook/openr}
}
@misc{guo2023nanobdd,
title = {Nanobdd: First-ever high-performance thread-safe BDD library},
author = {Dong Guo},
year = {2023},
url = {https://github.com/guodong/nanobdd}
}
@misc{vahidi2023bdd,
  title = {A {{BDD}} and {{Z-BDD Library}} Written in {{Java}}},
  author = {Vahidi, Arash},
  year = {2023},
  url = {https://bitbucket.org/vahidi/jdd}
}
@misc{jorn2023buddy,
  title = {BuDDy: A BDD package},
  author = {Jorn, Lind-Nielsen},
  year = {1999},
  url = {https://buddy.sourceforge.net}
}
@misc{fabio1999cudd,
  title = {CUDD: CU Decision Diagram Package},
  author = {Fabio Somenzi},
  year = {1999},
  url = {https://add-lib.scce.info/assets/documents/cudd-manual.pdf}
}

@article{sourcerouting,
  title={Source Routing in Computer Networks},
  author={C. A. Sunshine},
  journal={ACM SIGCOMM Comput. Commun},
  volume={7},
  number={1},
  pages={29--33},
  year={1977},
  publisher={ACM}
}
@article{opo,
  title={On the Problem of Optimal Path Encoding for Software-Defined Networks},
  author={Hari, A. and Niesen, U. and Wilfong},
  journal={IEEE/ACM Transactions on Networking},
  volume={25},
  pages={189--198},
  year={2017},
  publisher={IEEE/ACM}
}
@inproceedings{pathswitching,
  title={Path Switching : Reduced-state ﬂow handling in SDNusing path information},
  author={A. Hari et al},
  booktitle={Proc. of CoNEXT},
  pages={1--7},
  year={2015},
  publisher={IEEE}
}
@inproceedings{z3,
  title={An Efficient SMT Solver},
  author={L. D. Moura and N. Bjørner},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={337--340},
  year={2008}
}
@inproceedings{rocketfuel,
  title={Measuring ISP topologies with rocketfuel},
  author={N. Spring and R. Mahajan and D. Wetherall},
  booktitle={Proc. ACM SIGCOMM},
  pages={133--145},
  year={Aug. 2002}
}

@article{topologyzoo,
  title={The Internet Topology Zoo},
  author={Simon Knight and Hung X. Nguyen and Nick Falkner and Rhys Bowden and Matthew Roughan},
  journal={IEEE Journal on Selected Areas in Communications},
  volume={29(9)},
  pages={1765--1775},
  year={2011},
  publisher={IEEE}
}

@misc{observatory2021internet2,
  title = {The Internet2 Dataset},
  author = {Observatory, The Internet2},
  year = {2021},
  url = {http://www.internet2.edu/research-solutions/research-support/observatory}
}

@misc{tung2019azure,
  title = {Azure Global Outage: Our DNS Update Mangled Domain Records},
  author = {Tung L},
  year = {2019},
  url = {https://www.zdnet.com/article/azureglobal-outage-our-dns-update-mangled-domain-records-says-microsoft/}
}

@misc{mary2020centurylink,
  title = {Centurylink  is  in  The  Hot  Seat},
  author = {Mary Jander},
  year = {2020},
  url = {https://www.futuriom.com/articles/news/centurylink-peers-blame-wobbly-router-for-massive-outage/2020/09}
}

@misc{santosh2021more,
  title = {More Details About the October 4 Outage},
  author = {Santosh Janardhan},
  year = {2021},
  url = {https://engineering.fb.com/2021/10/05/networking-traffic/outage-details/}
}

@misc{amazon2021summary,
  title = {Summary of the AWS Service Event in the Northern Virginia (US-EAST-1) Region},
  author = {Amazon},
  year = {2021},
  url = {https://aws.amazon.com/message/12721/}
}

@misc{guerraoui2020efficient,
      title={Efficient Multi-word Compare and Swap}, 
      author={Rachid Guerraoui and Alex Kogan and Virendra J. Marathe and Igor Zablotchi},
      year={2020},
      eprint={2008.02527},
      archivePrefix={arXiv},
      primaryClass={cs.DC}
}

@book{wu2009complexity,
  title={计算复杂性与算法分析},
  author={吴兴玲 and 黄成泉 and 罗里波},
  publisher={电子科技大学出版社},
  year={2009},
}

@book{huang2004complexity,
  title={近世计算理论导引:NP难度问题的背景、前景及其求解算法研究},
  author={黄文奇 and 许如初},
  publisher={科学出版社},
  year={2004},
}

@inproceedings{alizadeh2010data,
  ids = {dctcp},
  title = {Data {{Center TCP}} ({{DCTCP}})},
  booktitle = {Proceedings of the {{ACM SIGCOMM}} 2010 {{Conference}}},
  author = {Alizadeh, Mohammad and Greenberg, Albert and Maltz, David A. and Padhye, Jitendra and Patel, Parveen and Prabhakar, Balaji and Sengupta, Sudipta and Sridharan, Murari},
  year = {2010},
  series = {{{SIGCOMM}} '10},
  pages = {63--74},
  publisher = {{ACM}},
  address = {{New York, NY, USA}},
  url = {http://doi.acm.org/10.1145/1851182.1851192},
  keywords = {data center network,ECN,tcp}
}

@misc{andreyev2014introducing,
  title = {Introducing {{Data Center Fabric}}, the {{Next-generation Facebook Data Center Network}} - {{Engineering}} at {{Meta}}},
  author = {Andreyev, Alexey},
  year = {2014},
  url = {https://engineering.fb.com/2014/11/14/production-engineering/introducing-data-center-fabric-the-next-generation-facebook-data-center-network/},
  urldate = {2022-07-03}
}

@misc{awsdocumentation2022what,
  title = {What Is {{VPC Reachability Analyzer}}? - {{Amazon Virtual Private Cloud}}},
  author = {{AWS documentation}},
  year = {2022},
  url = {https://docs.aws.amazon.com/vpc/latest/reachability/what-is-reachability-analyzer.html},
  urldate = {2022-07-03}
}

@article{sherwood2009flowvisor,
  title = {{{FlowVisor}}: {{A Network Virtualization Layer}}},
  shorttitle = {Flowvisor},
  author = {Sherwood, Rob and Gibb, Glen and Yap, Kok-Kiong and Appenzeller, Guido and Casado, Martin and McKeown, Nick and Parulkar, Guru},
  year = {2009},
  journal = {OpenFlow Switch Consortium, Tech. Rep},
  url = {http://sb.tmit.bme.hu/mediawiki/images/c/c0/FlowVisor.pdf},
  urldate = {2014-06-26}
}

@misc{FRR,
  title = {{{FRRouting}} Project},
  year = {2021},
  authro = {FRR},
  url = {https://frrouting.org}
}

@inproceedings{soule2014merlin,
  title = {Merlin: {{A Language}} for {{Provisioning Network Resources}}},
  booktitle = {Proceedings of the 10th {{ACM International}} on {{Conference}} on {{Emerging Networking Experiments}} and {{Technologies}}},
  author = {Soul{\'e}, Robert and Basu, Shrutarshi and Marandi, Parisa Jalili and Pedone, Fernando and Kleinberg, Robert and Sirer, Emin Gun and Foster, Nate},
  year = {2014},
  series = {{{CoNEXT}} '14},
  pages = {213--226},
  publisher = {{ACM}},
  address = {{New York, NY, USA}},
  url = {http://doi.acm.org/10.1145/2674005.2674989},
  keywords = {delegation,merlin,resource management,software-defined networking,verification}
}

@book{pigeonhole,
    title = {Discrete Mathematics and Its Applications},
    author = {Kenneth H. Rosen},
    year = {2018},
    edition = {8th},
    publisher = {McGraw-Hill Education},
    location = {New York},
    isbn = {978-1260091991},
}

@misc{bcc,
  title={BCC: Tools for BPF-based Linux IO analysis, networking, monitoring, and more},
  author={iovisor},
  year={2021},
  howpublished ={\url{https://github.com/iovisor/bcc}}
}

@misc{ltcb,
  title={Large Text Compression Benchmark},
  author={Matt Mahoney},
  year={2021},
  howpublished ={\url{http://mattmahoney.net/dc/text.html}}
}

@book{ciesielski1997set,
  title={Set Theory for the Working Mathematician},
  author={Ciesielski, Krzysztof},
  year={1997},
  publisher={Cambridge University Press}
}

@book{xu2010graph,
  author    = {徐俊明},
  title     = {图论及其应用},
  publisher = {中国科学技术大学出版社},
  year      = {2010}
}

@article{davis-putnam-1960,
  author = "Martin Davis and Hilary Putnam",
  title = "A Computing Procedure for Quantification Theory",
  journal = "Journal of the ACM",
  volume = "7",
  number = "3",
  year = "1960",
  pages = "201-215",
  doi = "10.1145/321033.321034",
  s2cid = "31888376"
}

@misc{routeviews,
  title={Route Views Project},
  author={{University of Oregon}},
  year={2023},
  howpublished ={\url{http://www.routeviews.org/routeviews}}
}

@misc{statista,
title={Revenue of Mobile Apps Worldwide},
author={Statista},
year={2023},
howpublished ={\url{https://www.statista.com}}
}